structure S =
struct
  datatype t = X
end
